\title{Gillies' Conditional}
\mode<presentation>{
  \author{Daan Staudt \and Matthew Wampler-Doty \and Cian Chartier}
}
\mode<article>{
  \author{Daan Staudt \\ dstaudt@science.uva.nl \and
  Matthew Wampler-Doty \\ negacthulhu@gmail.com \and
  Cian Chartier \\ chartiec@tcd.ie }
}

\institute[ILLC] % (optional)
{
  The Institute for Logic, Language and Computation\\
  Universiteit van Amsterdam}
\date{}

\begin{document}

\begin{frame}
  \titlepage

\mode<article>
{
  \maketitle
}

  \begin{center}
  \includegraphics[width=0.5\textwidth]{illclogo.pdf}
  \end{center}
  
  \mode<presentation>
  {
    \vspace*{-0.1\textheight}
    \hspace*{0.78\textwidth}
    % See http://www.fsfe.org/contribute/advocacy/cwfs.en.html
    \includegraphics[width=0.2\textwidth]{cwfs-25-degree.pdf}
  }
  \mode<article>
  {
    \vspace*{-0.05\textheight}
    \hspace*{0.75\textwidth}
    % See http://www.fsfe.org/contribute/advocacy/cwfs.en.html
    \includegraphics[width=0.2\textwidth]{cwfs-25-degree.pdf}
  }
  
\end{frame}

\mode<presentation>{
  \begin{frame}
    \tableofcontents
  \end{frame}
}

\input{part1.tex}
\input{part2.tex}
\input{part3.tex}
\input{part4.tex}
\input{part5.tex}
\input{biblios.tex}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "beamer"
%%% End: 
